Søkt på: Bøker av aarne ranta
totalt 7 treff
Structural Proof Theory
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the …
Implementing Programming Languages. An Introduction to Compilers and Interpreters
Advances in Natural Language Processing
This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008. The 44 revised full …
Höyrymainari Shimo
Mikä on kameleonttikirja? Kuinka käy, kun Shimo joutuu vastakkain sanakirjademonin kanssa? Mitä löytyy avaruuden salaperäisestä metallikuutiosta? Kuka voittaa Hurtanheimon …
Advances in Natural Language Processing
This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008. The 44 revised full …
Type-theoretical Grammar
Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches in the foundations of mathematics and …
Grammatical Framework
Grammatical Framework is a programming language designed for writing grammars that has the capability of addressing several languages in parallel. This thorough introduction …